# typed: true

case foo; in *, 42, * then true; end
